A Functional Tool for Fuzzy First Order Logic Evaluation
نویسندگان
چکیده
In this paper we present an automatic evaluation tool for fuzzy first order logic formulas. Since different semantics can be considered for every logical symbol, we allow for such formulas the appearance of syntactic modifiers, in such away that our tool is designed not only to evaluate formulas in existing fuzzy semantics, but also to evaluate the properties in any other semantic framework given by the user. Such generalization is performed using Haskell functional programming language.
منابع مشابه
AGILITY EVALUATION IN PUBLIC SECTOR USING FUZZY LOGIC
Agility metrics are difficult to define in general, mainly due to the multidimensionality and vagueness of the concept of agility itself. In this paper, a knowledge-based framework is proposed for the measurement and assessment of public sector agility using the A.T.Kearney model. Fuzzy logic provides a useful tool for dealing with decisions in which the phenomena are imprecise and vague. In th...
متن کاملfMRI analysis software tools: an evaluation framework
Performance comparison of functional Magnetic Resonance Imaging (fMRI) software tools is a very difficult task. In this paper, a framework for comparison of fMRI analysis results obtained with different software packages is proposed. An objective evaluation is possible only after pre-processing steps that normalize input data in a standard domain. Segmentation and registration algorithms are im...
متن کاملOptimal intelligent control for glucose regulation
This paper introduces a novel control methodology based on fuzzy controller for a glucose-insulin regulatory system of type I diabetes patient. First, in order to incorporate knowledge about patient treatment, a fuzzy logic controller is employed for regulating the gains of the basis Proportional-Integral (PI) as a self-tuning controller. Then, to overcome the key drawback of fuzzy logic contro...
متن کاملSIMULATION AND MONITORING OF THE MACHINING PROCESS VIA FUZZY LOGIC AND CUTTING FORCES
On time replacement of a cutting tool with a new one is an important task in Flexible Manufacturing Systems (FMS). A fuzzy logic-based approach was used in the present study to predict and simulate the tool wear progress in turning operation. Cutting parameters and cutting forces were considered as the input and the wear rate was regarded as the output data in the fuzzy logic for construct...
متن کاملEvaluation of Planet Factors of Smart City through Multi-layer Fuzzy Logic (MFL)
Internet of Things (IoT) approach is empowering smart city creativities all over the world. There is no specific tool or criteria for the evaluation of the services offered by the smart city. In this paper, a new Multilayer Fuzzy Inference System (MFIS) is proposed for the assessment of the Planet Factors of smart city (PFSC). The PFSC system is categorized into two levels. The proposed MFIS ba...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005